package com.googlecode.kipler.container.dl.creational;

import com.googlecode.kipler.container.dl.LTLALCWcsData;
import com.googlecode.kipler.container.dl.WorldConstraintSystem;

public class LTLALCWcsFactory extends WcsFactory {

	public LTLALCWcsFactory(boolean unfoldableTBox) {
		super(unfoldableTBox);
	}

	@Override
	public WorldConstraintSystem createWcs() {
		WorldConstraintSystem result = new WorldConstraintSystem(WorldFactory
				.getFactory(ContainerType.ALC, isUnfoldableTBox()));
		result.setData(new LTLALCWcsData());
		result.setReasoner(getReasoner());
		return result;
	}

}
